Stephen Cook

Results: 75



#Item
21Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010.

Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010.

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2013-12-06 10:50:09
    22Relativizing Small Complexity Classes and their Theories Klaus Aehlig∗ Stephen Cook

    Relativizing Small Complexity Classes and their Theories Klaus Aehlig∗ Stephen Cook

    Add to Reading List

    Source URL: www.cs.toronto.edu

    Language: English - Date: 2007-10-18 18:16:58
      23Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010.

      Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010.

      Add to Reading List

      Source URL: www.cs.toronto.edu

      Language: English - Date: 2010-11-13 17:15:51
        24Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction

        Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction

        Add to Reading List

        Source URL: www.ams.org

        Language: English - Date: 2006-02-08 14:25:07
        25Hydrodynamics of High Speed Craft Conference (RINANovember 1999, London, UK Investigation into Wave Loads and Catamarans Stephen M. Cook, AME CRC, Curtin University

        Hydrodynamics of High Speed Craft Conference (RINANovember 1999, London, UK Investigation into Wave Loads and Catamarans Stephen M. Cook, AME CRC, Curtin University

        Add to Reading List

        Source URL: cmst.curtin.edu.au

        Language: English - Date: 2014-11-11 04:54:40
        26Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus, Toniann Pitassi, Robert Robere and Stephen A. Cook Department of Computer Science University of Toronto Toronto, Canada {yuvalf, toni, robere, sacoo

        Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus, Toniann Pitassi, Robert Robere and Stephen A. Cook Department of Computer Science University of Toronto Toronto, Canada {yuvalf, toni, robere, sacoo

        Add to Reading List

        Source URL: www.cs.toronto.edu

        Language: English - Date: 2013-08-15 23:12:55
        27Urban Water Security Research Alliance Communal rainwater harvesting: monitoring and validation Stephen Cook Decentralised Systems: Communal rainwater harvesting

        Urban Water Security Research Alliance Communal rainwater harvesting: monitoring and validation Stephen Cook Decentralised Systems: Communal rainwater harvesting

        Add to Reading List

        Source URL: www.urbanwateralliance.org.au

        Language: English - Date: 2013-01-09 19:55:21
        28Butcher Ridge igneous complex, Cook Mountains, Antarctica STEPHEN MARSHAK Lamont-Doherty Geological Observatory and Department of Geological Sciences

        Butcher Ridge igneous complex, Cook Mountains, Antarctica STEPHEN MARSHAK Lamont-Doherty Geological Observatory and Department of Geological Sciences

        Add to Reading List

        Source URL: s3.amazonaws.com

        Language: English - Date: 2011-05-06 06:15:02
        29UPSTAGE A Publication of the Education Department at RoundaboutTheatreCompany UP SPRING 2010

        UPSTAGE A Publication of the Education Department at RoundaboutTheatreCompany UP SPRING 2010

        Add to Reading List

        Source URL: www.roundabouttheatre.org

        Language: English - Date: 2010-04-22 15:27:22
        30A The Complexity of the Comparator Circuit Value Problem STEPHEN A. COOK, Department of Computer Science, University of Toronto YUVAL FILMUS, Department of Computer Science, University of Toronto DAI TRI MAN LÊ, Departm

        A The Complexity of the Comparator Circuit Value Problem STEPHEN A. COOK, Department of Computer Science, University of Toronto YUVAL FILMUS, Department of Computer Science, University of Toronto DAI TRI MAN LÊ, Departm

        Add to Reading List

        Source URL: www.cs.toronto.edu

        Language: English - Date: 2014-04-02 14:14:13